Homogeneously Suslin sets in tame mice
نویسنده
چکیده
This paper studies homogeneously Suslin (hom) sets of reals in tame mice. The following results are established: In 0¶ the hom sets are precisely the ̃ 11 sets. In Mn every hom set is correctly ̃ 1n+1, and (δ + 1)-universally Baire where δ is the least Woodin. In Mω every hom set is <λ-hom, where λ is the supremum of the Woodins. §
منابع مشابه
Tame Loci of Generalized Local Cohomology Modules
Let $M$ and $N$ be two finitely generated graded modules over a standard graded Noetherian ring $R=bigoplus_{ngeq 0} R_n$. In this paper we show that if $R_{0}$ is semi-local of dimension $leq 2$ then, the set $hbox{Ass}_{R_{0}}Big(H^{i}_{R_{+}}(M,N)_{n}Big)$ is asymptotically stable for $nrightarrow -infty$ in some special cases. Also, we study the torsion-freeness of graded generalized local ...
متن کاملDominating Analytic Families
Let A be an analytic family of sequences of sets of integers. We show that either A is dominated or it contains a continuum of almost disjoint sequences. From this we obtain a theorem by Shelah that a Suslin c.c.c. forcing adds a Cohen real if it adds an unbounded real.
متن کاملThe comparison theory of hod pairs below AD + + “ The largest Suslin cardinal is a member of the Solovay sequence ” ∗ †
We develop the basic theory of hod mice below the Largest Suslin Axiom (LSA), which says that the largest Suslin cardinal is a member of the Solovay sequence. We also prove comparison theorem for such hod mice in the context of AD+. This is the first paper in planned sequence of three papers that eventually will establish that Mouse Set Conjecture holds provided there is no inner model satisfyi...
متن کاملM ay 2 00 7 TAME FLOWS
The tame flows are “nice” flows on “nice” spaces. The nice (tame) sets are the pfaffian sets introduced by Khovanski, and a flow Φ : R×X → X on pfaffian set X is tame if the graph of Φ is a pfaffian subset of R × X × X. Any compact tame set admits plenty tame flows. We prove that the flow determined by the gradient of a generic real analytic function with respect to a generic real analytic metr...
متن کاملProjective Forcing
We study the projective posets and their properties as forcing notions. We also define Martin’s axiom restricted to projective sets, MA(proj), and show that this axiom is weaker than full Martin’s axiom by proving the consistency of ZFC + XH + MA(proj) with “there exists a Suslin tree”, “there exists a non-strong gap”, “there exists an entangled set of reals” and “there exists K < 2No such that...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- J. Symb. Log.
دوره 77 شماره
صفحات -
تاریخ انتشار 2012